dfa to regular expression